Nuprl Definition : p-co-restrict
11,40
postcript
pdf
p-co-restrict(
f
;
p
) ==
f
o p-co-filter(
p
)
latex
Definitions
f
o
g
,
p-co-filter(
f
)
FDL editor aliases
p-co-restrict
origin